1. A survey of verification techniques for parallel programs

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)

رده :
QA76
.
5
H693
1985